(assert (exists
